A theory of stochastic systems part I: Stochastic automata
نویسندگان
چکیده
منابع مشابه
A theory of stochastic systems part I: Stochastic automata
This paper presents the theoretical underpinning of a model for symbolically representing probabilistic transition systems, an extension of labelled transition systems for the modelling of general (discrete as well as continuous or singular) probability spaces. These transition systems are particularly suited for modelling softly timed systems, real-time systems in which the time constraints ar...
متن کاملStochastic Switching Approach of Bilateral Teleoperation Systems: Part I - Theory
In this paper, new control strategies based on Linear Matrix Inequalities (LMIs) are proposed for bilateral teleoperation systems over networks with time delays and packet losses. The characteristics of the network are thoroughly incorporated in the design and are mainly discussed in two cases: random packet loss with constant time delays; and random packet loss with random time varying delays....
متن کاملA theory of Stochastic systems. Part II: Process algebra
This paper introduces (pronounce spades), a stochastic process algebra for discrete-event systems, that extends traditional process algebra with timed actions whose delay is governed by general (a.o. continuous) probability distributions. The operational semantics is defined in terms of stochastic automata, a model that uses clocks—like in timed automata—to symbolically represent randomly timed...
متن کاملI - Stochastic Control Theory
(1.1) x(i+ 1) = g(x(i),u(i), i) , with initial condition x(i1) = x at time i1. Here g(x(i),u(i), i) is a random variable with known probability distribution determined by the values of (x(i),u(i), i). Thus we have a set of random variables g(x,u, i) for all possible values of the variables x ∈ R, u ∈ R, i ∈ Z. The process determined by (1.1) is clearly Markovian. For the cost function we take t...
متن کاملStochastic extension of cellular manufacturing systems: a queuing-based analysis
Clustering parts and machines into part families and machine cells is a major decision in the design of cellular manufacturing systems which is defined as cell formation. This paper presents a non-linear mixed integer programming model to design cellular manufacturing systems which assumes that the arrival rate of parts into cells and machine service rate are stochastic parameters and descri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2005
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.07.001